da{-}outlink{-}f(${\it da}$;$k$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\langle$lnk($k$)$,\,$tag($k$)$,\,$${\it da}$($k$)$\rangle$